Follow us on
Technical Reports
Post date: 25 October 2012
Proc. Atmos 2012, OASIcs, pp. 71-82
Post date: 25 October 2012
This is the extended paper, submitted to the special issue of the ACM Journal of Experimental Algorithmics (JEA) dedicated to selected papers from ALENEX 2012
Post date: 2 October 2012
Post date: 9 July 2012
Proc. SAGT 2012 LNCS 7615, pp. 156-167
Post date: 9 July 2012
Post date: 31 January 2012
Post date: 19 January 2012
IET Software, 6(4), pp. 313-322
